منابع مشابه
limage de labsurdité dans voyage au bout de la nuit de louis-ferdinand céline
مفهوم پوچی که اولین بار در لغت نامه های قرن شانزدهم مطرح شد، بیانگر نوعی نقص در روح انسان و عیبی در خرد آدمی است.پوچی نوعی بیماری است که عقل و فهم آدمی باید خود را از آن محافظت کند اما هیچ مدرکی وجود ندارد که آن را غیر قابل درمان بداند. این مفهوم اغلب برای توصیف نوع خاصی از ادبیات مورد استفاده قرار میگیرد.نویسندگانی نظیر سارتر، کامو، بکت، یونسکو و سلین کوشیده اند تا تصویر دقیقی از این مفهوم را...
15 صفحه اولRecasting MLF
The language MLF has been proposed as an alternative to System F that permits partial type inference a la ML. It differs from System F by its types and type-instance relation. Unfortunately, the definition of type instance is only syntactic, and not underpinned by some underlying semantics. It has so far only been justified a posteriori by the type soundness result. In this work, we revisit MLF...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Clio
سال: 2009
ISSN: 1252-7017,1777-5299
DOI: 10.4000/clio.9326